From testing to knowing

Knowing More - From Global to Local Correspondence

Modal correspondence theory is a powerful and effective way to guarantee that adding specific syntactic axioms to a modal logic is mirrored by requiring ‘corresponding’ properties of the underlying Kripke models. However, such axioms not only quantify over all formulas, but they are also global in the sense that the corresponding semantic property is assumed to hold for all states. However, in ...

Behavior: Knowing When to Walk Away, Knowing When to Run

A new model has been proposed indicating that humans and other animals weigh the metabolic cost of pursuit in deciding how fast to move toward a given reward, providing a powerful framework for understanding behavior.

From knowing what to knowing where: modeling object-based attention with feedback disinhibition of activation.

We propose a neural model of visual object-based attention in which the identity of an object is used to select its location in an array of objects. The model is based on neural activity observed in visual search tasks performed by monkeys. In the model, the identity of the object (target) is selected in the higher areas of the ventral stream by means of a cue. Feedback activation from these hi...

Knowing Afghanistan: Can there be an end to the saga?

War on terrorism, as the motto which formed the cornerstone of global policies of former     neo-conservative administration of the United States, is increasingly becoming ineffective in Afghanistan with the dreaded consequence of spilling over into Pakistan. This inevitable consequence of War on    Terrorism in Afghanistan has brought the West face to face with the ‘nest of terrorism’ that CIA...

Knowing When to Stop